Extensions of linking systems with p-group kernel
نویسندگان
چکیده
منابع مشابه
EXTENSIONS OF LINKING SYSTEMS WITH p-GROUP KERNEL
We study extensions of p-local nite groups where the kernel is a pgroup. In particular, we construct examples of saturated fusion systems F which do not come from nite groups, but which have normal p-subgroups A C F such that F=A is the fusion system of a nite group. One of the tools used to do this is the concept of a \transporter system", which is modelled on the transporter category of a nit...
متن کاملExtensions of Linking Systems and Fusion Systems
We correct two errors in the statement and proof of a theorem in an earlier paper (2007), and at the same time extend that result to a more general theorem about extensions of p-local finite groups. Other special cases of this theorem have already been shown in two later papers, so we feel it will be useful to have this more general result in the literature. This paper has two purposes: to corr...
متن کاملModel Checking Kernel P Systems
Recent research in membrane computing examines and confirms the anticipated modelling potential of kernel P systems in several case studies. On the one hand, this computational model is destined to be an abstract archetype which advocates the unity and integrity of P systems onto a single formalism. On the other hand, this envisaged convergence is conceived at the expense of a vast set of primi...
متن کاملKernel P Systems: Applications and Implementations
This paper explores the modelling capacities of a new class of P systems, called kernel P systems (kP systems). A specific language for describing kP systems and its translation into Promela, the specification language of Spin, are described. This Promela specification has been further used for simulation and property verification with the Spin model checker. Also, a parallel implementation on ...
متن کاملLinking Bistable Dynamics to Metabolic P Systems
Bistability, or more generally multistability, is an important recurring theme in biological systems. In particular, the discovery of bistability in signal pathways of genetic networks, prompts strong interest in understanding both the design and function of these networks. Therefore, modelling these systems is crucial to understand their behaviors, and also to analyze and identify characterist...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Mathematische Annalen
سال: 2007
ISSN: 0025-5831,1432-1807
DOI: 10.1007/s00208-007-0104-4